package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsDDSliceBug2 extends TestCase {
	public void test6() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.years((int)var2);
	    java.lang.Integer var4 = new java.lang.Integer(0);
	    java.lang.Integer var5 = new java.lang.Integer(100);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(1);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    java.lang.Integer var10 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(100);
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var19 = com.domainlanguage.time.TimePoint.atGMT((int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17, (int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var21 = com.domainlanguage.time.Duration.years((int)var20);
	    java.lang.Integer var22 = new java.lang.Integer(0);
	    java.lang.Integer var23 = new java.lang.Integer(100);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(1);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var29 = com.domainlanguage.time.TimePoint.atGMT((int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27, (int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.years((int)var30);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    com.domainlanguage.time.TimeInterval var40 = var31.startingFrom(var39);
	    boolean var41 = var29.isAfter(var40);
	    java.lang.Integer var42 = new java.lang.Integer(0);
	    java.lang.Integer var43 = new java.lang.Integer(100);
	    java.lang.Integer var44 = new java.lang.Integer(1);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(100);
	    java.lang.Integer var47 = new java.lang.Integer((-1));
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var49 = com.domainlanguage.time.TimePoint.atGMT((int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48);
	    java.lang.Double var50 = new java.lang.Double(0.0d);
	    java.lang.Integer var51 = new java.lang.Integer(0);
	    java.lang.Integer var52 = new java.lang.Integer(100);
	    java.lang.Integer var53 = new java.lang.Integer(1);
	    java.lang.Integer var54 = new java.lang.Integer(1);
	    java.lang.Integer var55 = new java.lang.Integer(100);
	    java.lang.Integer var56 = new java.lang.Integer((-1));
	    java.lang.Integer var57 = new java.lang.Integer((-1));
	    com.domainlanguage.time.Duration var58 = com.domainlanguage.time.Duration.days((int)var51);
	    com.domainlanguage.time.Duration var59 = var1.minus(var58);
	    
	    // Checks the contract:  equals-hashcode on var1 and var59
	    assertTrue("Contract failed: equals-hashcode on var1 and var59", var1.equals(var59) ? var1.hashCode() == var59.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var59 and var1
	    assertTrue("Contract failed: equals-hashcode on var59 and var1", var59.equals(var1) ? var59.hashCode() == var1.hashCode() : true);

	  }

	  public void test7() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(100);
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var7 = com.domainlanguage.time.CalendarDate.from((int)var0, (int)var3, (int)var6);
	    int var8 = var7.breachEncapsulationOf_year();
	    com.domainlanguage.time.Duration var9 = com.domainlanguage.time.Duration.days((int)var8);
	    java.lang.Double var10 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var11 = com.domainlanguage.money.Money.euros((double)var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(100);
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var19 = var11.times((int)var18);
	    java.lang.Double var20 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var21 = com.domainlanguage.money.Money.euros((double)var20);
	    java.lang.Integer var22 = new java.lang.Integer(0);
	    java.lang.Integer var23 = new java.lang.Integer(100);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(1);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var29 = var21.times((int)var28);
	    java.math.BigDecimal var30 = var29.breachEncapsulationOfAmount();
	    java.lang.Double var31 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var32 = com.domainlanguage.money.Money.euros((double)var31);
	    java.lang.Double var33 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var34 = com.domainlanguage.money.Money.euros((double)var33);
	    java.lang.Double var35 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var36 = com.domainlanguage.money.Money.euros((double)var35);
	    java.lang.Integer var37 = new java.lang.Integer(0);
	    java.lang.Integer var38 = new java.lang.Integer(100);
	    java.lang.Integer var39 = new java.lang.Integer(1);
	    java.lang.Integer var40 = new java.lang.Integer(1);
	    java.lang.Integer var41 = new java.lang.Integer(100);
	    java.lang.Integer var42 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var43 = var36.times((int)var42);
	    java.lang.Double var44 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var45 = com.domainlanguage.money.Money.euros((double)var44);
	    java.lang.Integer var46 = new java.lang.Integer(0);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    java.lang.Integer var48 = new java.lang.Integer(1);
	    java.lang.Integer var49 = new java.lang.Integer(1);
	    java.lang.Integer var50 = new java.lang.Integer(100);
	    java.lang.Integer var51 = new java.lang.Integer((-1));
	    java.lang.Integer var52 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var53 = var45.times((int)var52);
	    java.math.BigDecimal var54 = var53.breachEncapsulationOfAmount();
	    java.lang.Integer var55 = new java.lang.Integer(0);
	    java.lang.Integer var56 = new java.lang.Integer(100);
	    java.lang.Integer var57 = new java.lang.Integer(1);
	    java.lang.Integer var58 = new java.lang.Integer(1);
	    java.lang.Integer var59 = new java.lang.Integer(100);
	    java.lang.Integer var60 = new java.lang.Integer((-1));
	    java.lang.Integer var61 = new java.lang.Integer((-1));
	    com.domainlanguage.time.Duration var62 = com.domainlanguage.time.Duration.days((int)var55);
	    java.lang.Integer var63 = new java.lang.Integer(10);
	    com.domainlanguage.time.Duration var64 = com.domainlanguage.time.Duration.minutes((int)var63);
	    com.domainlanguage.time.Duration var65 = var62.plus(var64);
	    
	    // Checks the contract:  equals-hashcode on var64 and var65
	    assertTrue("Contract failed: equals-hashcode on var64 and var65", var64.equals(var65) ? var64.hashCode() == var65.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var65 and var64
	    assertTrue("Contract failed: equals-hashcode on var65 and var64", var65.equals(var64) ? var65.hashCode() == var64.hashCode() : true);

	  }

	  

	  public void test11() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var11 = com.domainlanguage.time.Duration.hours((int)var10);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var13 = com.domainlanguage.time.Duration.years((int)var12);
	    java.lang.Integer var14 = new java.lang.Integer(0);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer(1);
	    java.lang.Integer var17 = new java.lang.Integer(1);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    java.lang.Integer var19 = new java.lang.Integer((-1));
	    java.lang.Integer var20 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var21 = com.domainlanguage.time.TimePoint.atGMT((int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19, (int)var20);
	    java.lang.Integer var22 = new java.lang.Integer(0);
	    java.lang.Integer var23 = new java.lang.Integer(100);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(1);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var29 = com.domainlanguage.time.TimePoint.atGMT((int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27, (int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.years((int)var30);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    java.lang.Integer var40 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var41 = com.domainlanguage.time.Duration.years((int)var40);
	    java.lang.Integer var42 = new java.lang.Integer(0);
	    java.lang.Integer var43 = new java.lang.Integer(100);
	    java.lang.Integer var44 = new java.lang.Integer(1);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(100);
	    java.lang.Integer var47 = new java.lang.Integer((-1));
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var49 = com.domainlanguage.time.TimePoint.atGMT((int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48);
	    com.domainlanguage.time.TimeInterval var50 = var41.startingFrom(var49);
	    boolean var51 = var39.isAfter(var50);
	    java.lang.Integer var52 = new java.lang.Integer(0);
	    java.lang.Integer var53 = new java.lang.Integer(100);
	    java.lang.Integer var54 = new java.lang.Integer(1);
	    java.lang.Integer var55 = new java.lang.Integer(1);
	    java.lang.Integer var56 = new java.lang.Integer(100);
	    java.lang.Integer var57 = new java.lang.Integer((-1));
	    java.lang.Integer var58 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var59 = com.domainlanguage.time.TimePoint.atGMT((int)var52, (int)var53, (int)var54, (int)var55, (int)var56, (int)var57, (int)var58);
	    java.lang.Double var60 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var61 = com.domainlanguage.money.Money.euros((double)var60);
	    java.lang.Short var62 = new java.lang.Short((short)(-1));
	    java.lang.Byte var63 = new java.lang.Byte((byte)100);
	    boolean var64 = var59.equals((java.lang.Object)var63);
	    com.domainlanguage.time.TimeInterval var65 = com.domainlanguage.time.TimeInterval.preceding(var9, var11);
	    com.domainlanguage.time.Duration var66 = var65.length();
	    
	    // Checks the contract:  equals-hashcode on var11 and var66
	    assertTrue("Contract failed: equals-hashcode on var11 and var66", var11.equals(var66) ? var11.hashCode() == var66.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var66 and var11
	    assertTrue("Contract failed: equals-hashcode on var66 and var11", var66.equals(var11) ? var66.hashCode() == var11.hashCode() : true);

	  }

	  public void test21() throws Throwable {

		    java.lang.Integer var0 = new java.lang.Integer(100);
		    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
		    java.lang.Integer var2 = new java.lang.Integer(0);
		    java.lang.Integer var3 = new java.lang.Integer(100);
		    java.lang.Integer var4 = new java.lang.Integer(1);
		    java.lang.Integer var5 = new java.lang.Integer(1);
		    java.lang.Integer var6 = new java.lang.Integer(100);
		    java.lang.Integer var7 = new java.lang.Integer((-1));
		    java.lang.Integer var8 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
		    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
		    java.lang.Integer var11 = new java.lang.Integer(100);
		    java.lang.Integer var12 = new java.lang.Integer(100);
		    java.lang.Integer var13 = new java.lang.Integer(0);
		    java.lang.Integer var14 = new java.lang.Integer(0);
		    java.lang.Integer var15 = new java.lang.Integer(100);
		    java.lang.Integer var16 = new java.lang.Integer(1);
		    java.lang.Integer var17 = new java.lang.Integer(100);
		    java.lang.Integer var18 = new java.lang.Integer(100);
		    java.lang.Integer var19 = new java.lang.Integer(0);
		    java.lang.Integer var20 = new java.lang.Integer(0);
		    java.lang.Integer var21 = new java.lang.Integer(100);
		    java.lang.Integer var22 = new java.lang.Integer(1);
		    java.lang.Integer var23 = new java.lang.Integer(1);
		    java.lang.Integer var24 = new java.lang.Integer(100);
		    java.lang.Integer var25 = new java.lang.Integer((-1));
		    java.lang.Integer var26 = new java.lang.Integer((-1));
		    java.lang.Integer var27 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atMidnightGMT((int)var17, (int)var18, (int)var22);
		    java.lang.Integer var29 = new java.lang.Integer(0);
		    java.lang.Integer var30 = new java.lang.Integer(100);
		    java.lang.Integer var31 = new java.lang.Integer(1);
		    java.lang.Integer var32 = new java.lang.Integer(1);
		    java.lang.Integer var33 = new java.lang.Integer(100);
		    java.lang.Integer var34 = new java.lang.Integer((-1));
		    java.lang.Integer var35 = new java.lang.Integer((-1));
		    com.domainlanguage.time.Duration var36 = com.domainlanguage.time.Duration.days((int)var29);
		    java.lang.Integer var37 = new java.lang.Integer(0);
		    java.lang.Integer var38 = new java.lang.Integer(0);
		    java.lang.Integer var39 = new java.lang.Integer(100);
		    java.lang.Integer var40 = new java.lang.Integer(1);
		    java.lang.Integer var41 = new java.lang.Integer(1);
		    java.lang.Integer var42 = new java.lang.Integer(100);
		    java.lang.Integer var43 = new java.lang.Integer((-1));
		    com.domainlanguage.time.CalendarDate var44 = com.domainlanguage.time.CalendarDate.from((int)var37, (int)var40, (int)var43);
		    com.domainlanguage.time.CalendarDate var45 = var44.lastOfMonth();
		    com.domainlanguage.time.CalendarDate var46 = var45.firstOfMonth();
		    int var47 = var46.breachEncapsulationOf_year();
		    com.domainlanguage.time.Duration var48 = com.domainlanguage.time.Duration.weeks((int)var47);
		    com.domainlanguage.time.Duration var49 = var36.plus(var48);
		    
		    // Checks the contract:  equals-hashcode on var48 and var49
		    assertTrue("Contract failed: equals-hashcode on var48 and var49", var48.equals(var49) ? var48.hashCode() == var49.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var49 and var48
		    assertTrue("Contract failed: equals-hashcode on var49 and var48", var49.equals(var48) ? var49.hashCode() == var48.hashCode() : true);

		  }

	  
}
